home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 3.iso / bin / isServerRunning < prev    next >
Encoding:
Text File  |  1996-11-11  |  434 b   |  28 lines
  1. #!/bin/csh -f
  2.  
  3. set DT_xconfirm = "$DT_utilities/DT_xconfirm"
  4.  
  5. #
  6. # find out user name
  7. #
  8.  
  9. set path = (/usr/bsd /bin /usr/bin /usr/sbin /usr/bin/X11)
  10. if ($?HOME) then
  11.     set userName = $HOME
  12. else
  13.     $DT_xconfirm nohome
  14. endif
  15.  
  16. #
  17. # if the pid file exists, then server invoked by this
  18. # user is still running
  19. #
  20.  
  21. if ( -e $userName/$DT_WWW_ROOT/logs/httpd.pid) then
  22.     #echo running
  23.     exit 1
  24. else 
  25.     #echo NOT running
  26.     exit 0
  27. endif
  28.